http://identifiers.org/mgd/MGI:5292474 Irx3<3myc-6his> MGI:5292474 Irx3<tm2Hui> targeted mutation 2, Chi-chung Hui